– 1– SEARCHES FOR QUARK AND LEPTON COMPOSITENESS Revised 2015 by K. Hikasa (Tohoku University), M. Tanabashi (Nagoya University), K. Terashi (University of Tokyo), and

Source URL: www-pdg.lbl.gov

Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Logic
• Reverse mathematics
• Mathematics
• Philosophy of mathematics

Postdoctoral Positions Available in Simulation Studies of Supercooled Liquids and Glass Transition The WPI Advanced Institute for Materials Research, Tohoku University invites applications for Postdoctoral positions to w

Source URL: www.cemag.es

– 1– SEARCHES FOR QUARK AND LEPTON COMPOSITENESS Revised 2015 by K. Hikasa (Tohoku University), M. Tanabashi (Nagoya University), K. Terashi (University of Tokyo), and

Source URL: pdg.lbl.gov

Mamiko SASAO Tohoku University, Professor Emeritus Office for R&D promotion, Doshisha University, Kamigyoku, Kyoto, Japan

Source URL: aappsdpp.org

Geometry of loop spaces Yoshiaki Maeda Tohoku University, Sendai, JAPAN [] A Riemannian metric on a manifold M induces a family of

Source URL: tesla.pmf.ni.ac.rs

Applicative Abstract Categorial Grammars in Full Swing Oleg Kiselyov Tohoku University, Japan

Source URL: okmij.org

A tightness property of a symmetric Markov process and the uniform large deviation principle Masayoshi Takeda Tohoku University Let X be an irreducible, strong Feller m-symmetric Markov process on a locally separable met

Source URL: icsaa.iam.uni-bonn.de

Fractional Ownerships for Safe Memory Deallocation Kohei Suenaga and Naoki Kobayashi Tohoku University?? Abstract. We propose a type system for a programming language with

Source URL: www-kb.is.s.u-tokyo.ac.jp

Type-Based Verification of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp

Source URL: www.kb.ecei.tohoku.ac.jp